1. A recursive introduction to the theory of computation
پدیدآورنده: Carl H. Smith
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,Data processing ، Recursive functions
رده :
QA
76
.
6
.
S52
2. AI and Cognitive Science '92 :
پدیدآورنده: edited by Kevin Ryan, Richard F.E. Sutcliffe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Software engineering.
3. Advanced R
پدیدآورنده: Hadley Wickham.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
4. Advanced R Solutions
پدیدآورنده: / Malte Grosser, Henning Bumann, Hadley Wickham.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: R (Computer program language ),a04
رده :
QA276
.
45
.
R3
G76
2022
5. Advanced concepts for intelligent vision systems :
پدیدآورنده: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
6. Advances in Artifical Intelligence :
پدیدآورنده: edited by Gordon McCalla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996
7. Advances in database technology--EDBT '92 :
پدیدآورنده: A. Pirotte, C. Delobel, G. Gottlob, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bases de données -- Gestion -- Congrès.,Database management -- Congresses.,Database management.
8. Advances in imaging and electron physics.
پدیدآورنده: edited by Peter W. Hawkes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronics.,Electrons.,Image processing.,Electronics.,Electrons.,Image processing.,SCIENCE-- Physics-- Electricity.,SCIENCE-- Physics-- Electromagnetism.
رده :
QC793
.
5
.
E62
A38eb
vol
.
125
9. Algebraic Complexity Theory
پدیدآورنده: by Peter Bürgisser, Michael Clausen, Mohammad Amin Shokrollahi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.
10. Algebraic and logic programming :
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
11. Algorithmic and experimental methods in algebra, geometry, and number theory /
پدیدآورنده: Gebhard Böckle, Wolfram Decker, Gunter Malle, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Number theory.,Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,Number theory.
رده :
QA76
.
9
.
A43
12. Algorithms and data structures :
پدیدآورنده: Douglas Baldwin and Greg W. Scragg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Data structures (Computer science),Algorithmes.,Structures de données (Informatique),Algorithmus,Algorithmus.,Computer algorithms.,Data structures (Computer science),Datenstruktur,Datenstruktur.
رده :
QA76
.
9
.
A43
B35
2004
13. Algorithms + data structures=programs /
پدیدآورنده: Niklaus Wirth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Data structures (Computer science),Computers.,Algorithmes.,Programmation (Informatique),Structures de données (Informatique),Algorithmes.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,Computer programming.,Data structures (Computer science),Datastructuren.,Datenstruktur,Datenstruktur.,Langages de programmation-- Problèmes et exercices.,Logiciels.,Ordinateurs-- Programmation.,PASCAL,PASCAL (Programmiersprache),PASCAL.,Programmation (mathématiques),Programmeren (computers),Programmiersprache,Programmiersprache.,Programmierung,Programmierung.,Softwareentwicklung,Softwareentwicklung.,Structures de données (informatique)
رده :
QA76
.
6
.
W56
14. Algorithms for computational biology :
پدیدآورنده: Ian Holmes, Carlos Martín-Vide, Miguel A. Vega-Rodríguez, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational biology, Congresses.,Computational biology.
رده :
QH324
.
2
.
A43
2019eb
15. An introduction to programming using Alice 2.2 /
پدیدآورنده: by Charles W. Herbert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Alice (Computer program language),Object-oriented programming (Computer science),Three-dimensional display systems.,Virtual reality.,Alice (Computer program language),Object-oriented programming (Computer science),Three-dimensional display systems.,Virtual reality.
رده :
QA76
.
64
.
H498
2011
16. An introduction to the general theory of algorithms
پدیدآورنده: Machtey, Michael.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
رده :
QA
76
.
7
.
M3
17. Applications and Science in Soft Computing
پدیدآورنده: edited by Ahamad Lotfi, Jonathan M. Garibaldi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Decision making.,Operations research.
18. Automata, Languages and Programming :
پدیدآورنده: edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information theory.,Software engineering.,Theory of Computation.
19. Automata, languages and programming :
پدیدآورنده: edited by G. Ausiello and C. Böhm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
20. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
